@InProceedings{atva-2018,
  author       = "Elvira Albert and Pablo Gordillo and Benjamin Livshits and Albert Rubio and Ilya Sergey",
  title        = "EthIR: A Framework for High-Level Analysis of Ethereum Bytecode",
  booktitle    = "Proceedings of the International Symposium on Automated Technology for Verification and Analysis",
  year         = "2018",
}